((v5 v4 5) (v6 v4 0) (v9 v6 6) (v8 v5 5) (v3 v6 8) (v4 v7 0) (v3 v7 8) (v8 v2 3) (v1 v4 0) (v9 v2 3) (v2 v1 8) (v2 v3 3) (v4 v2 7) (v9 v1 3) (v5 v6 5) (v7 v8 6) (v8 v3 7) (v9 v4 7) (v6 v2 0) (v2 v7 7) (v3 v9 9) (v5 v7 8))
134
((v1 v2) (v6 v8))